A case study using lightweight formalism to review an information system specification
نویسنده
چکیده
This paper 1 presents a case study review of an information system speciication based on concepts from the formal and structured integrated method, SAZ. Issues of structured and formal modelling are discussed. Some empirical nd-ings, from a small trial of the approach reviewing a pre-existing commercial speciication, are presented.
منابع مشابه
A Case Study using Lightweight Formalism toReview an Information System
This paper 1 presents a case study review of an information system speciication based on concepts from the formal and structured integrated method, SAZ. Issues of structured and formal modelling are discussed. Some empirical nd-ings, from a small trial of the approach reviewing a pre-existing commercial speciication, are presented.
متن کاملA Lightweight Intrusion Detection System Based on Specifications to Improve Security in Wireless Sensor Networks
Due to the prevalence of Wireless Sensor Networks (WSNs) in the many mission-critical applications such as military areas, security has been considered as one of the essential parameters in Quality of Service (QoS), and Intrusion Detection System (IDS) is considered as a fundamental requirement for security in these networks. This paper presents a lightweight Intrusion Detection System to prote...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملCritical Success Factors for Business Intelligence Implementation in an Enterprise Resource Planning System Environment Using DEMATEL: A Case Study at a Cement Manufacture Company in Indonesia
This paper is aimed at evaluating critical success factors in Business Intelligence (BI) implementation in an Enterprise Resource Planning (ERP) environment. The data analysis method used in this paper is the Decision Making Trial and Evaluation Laboratory Model (DEMATEL). The study has been conducted on a cement manufacturing strategic holding company that has implemented ERP since 2010. This ...
متن کاملDefining evaluation criteria for Health Information Systems using Human, organization and technology-fit factors (HOT-fit): systematic review
Introduction: The purpose of this study is to conduct a review of a series of published studies on evaluation of health information systems in order to determine the criteria of evaluation of hospital information systems using HOT-fit framework Information sources or data: The present study is a review study to evaluate articles of English databases PubMed, scupos and Persian databases Irandoc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softw., Pract. Exper.
دوره 31 شماره
صفحات -
تاریخ انتشار 2001